Like Douglas Hofstadter’s Gödel, Escher, Bach , and David Berlinski’s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explore logic—the one indispensable tool in man’s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient...(展开全部)

约瑟夫·马祖尔，美国著名科普作家，马尔波罗学院数学系教授，2006年古根海姆学者奖得主。约瑟夫早年毕业于麻省理工学院，获数学博士学位，此后的三十余年里，他一直致力于数学教学工作，教授的科目涉涵数学的各信领域。在教学之余，约瑟夫还致力于科学普及工作，至今已研发出各种数学学习软件，并出版了多部科普读物。2006年，为了表彰约瑟夫在数学领域所取得的特别成就，古根海姆基金会授予其古根海姆学者奖。

-作者简介- 雅克•德里达（Jacques Derrida，1930—2004），20世纪下半叶最重要的法国哲学家之一，他开创了解构的思想方法，成为后结构主义的主要代表，其理论动摇了传统人文科学的基础，也是各种后现代思潮最重要的理论起点之一。他所涉及的研究领域包括哲学本体论、语言学、文学批评、美学、伦理学、政治学，其主要代表作有《论文字学》《声音与现象》《书写与差异》《绘画中的真理》《哲学的边缘》等。 -译者简介- 魏柯玲，法国文学博士，曾任教于中国人民大学外国语学院。译有《德里达传》《马塞尔•普鲁斯特》《阅读的时日》《时间，这伟大的雕刻家》等。

If you can't prove something, it is literally senseless - so argues Ayer in this irreverent and electrifying book. Statements are either true by definition (as in maths), or can be verified by direct experience. Ayer rejected metaphysical claims about god, the absolute, and objective values as completely nonsensical. Ayer was only 24 when he finished LANGUAGE, TRUTH & LOGIC, ye...(展开全部)

Language, Truth and Logic, a work of philosophy by Alfred Jules Ayer, published in 1936) defines, explains and argues for the verification principle of logical positivism, sometimes referred to as the "criterion of significance" or "criterion of meaning". The treatise explains how the principle of verifiability may be applied to the problems and aims of philosophy. The text ...(展开全部)

Sir Alfred Ayer caused a furore with the publication of his LANGUAGE, TRUTH & LOGIC in 1936, when he was only 24. From 1959 until 1978 he was Wykeham Professor of Logic at the University of Oxford. He died in 1989. Ben Rogers is the author of A. J.AYER: A LIFE (Chatto & Windus 1999, Vintage 2000). --This text refers to an out of print or unavailable edition of this title. Class...(展开全部)

An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial languages have for some time been fruitfully applied to the study of natural languages and some knowledge of them is necessary for students of linguists (especially semantics). With th...(展开全部)

An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial languages have for some time been fruitfully applied to the study of natural languages and some knowledge of them is necessary for students of linguists (especially semantics). With th...(展开全部)

Truth and Meaning is a classic collection of original essays on fundamental questions in the philosophy of language. It was first published in 1976, and has remained essential reading in this area ever since; this is its first appearance in paperback. The contributors include leading figures in late twentieth-century philosophy, such as Donald Davidson, Saul Kripke, P. F. Straw...(展开全部)

This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It ...(展开全部)